bitkeeper revision 1.1691.1.14 (42a7f2b43iPqu7TV41Z28IeI0Wj1Vg)

[PATCH] vmresume-vmx-bug.patch

If vmresume/launch fails, only the affected domain should crash.

Signed-off-by: Arun Sharma <arun.sharma@intel.com>

diff --git a/xen/arch/x86/vmx_vmcs.c b/xen/arch/x86/vmx_vmcs.c
index c27daedc48273c4eba06ed7034b7293ef6e18dde..5fed12c279e482825d98d79501d3d10528a89570 100644 (file)
--- a/xen/arch/x86/vmx_vmcs.c
+++ b/xen/arch/x86/vmx_vmcs.c
@@ -445,12 +445,12 @@ int store_vmcs(struct arch_vmx_struct *arch_vmx, u64 phys_ptr)
 
 void vm_launch_fail(unsigned long eflags)
 {
-    BUG();
+    __vmx_bug(guest_cpu_user_regs());
 }
 
 void vm_resume_fail(unsigned long eflags)
 {
-    BUG();
+    __vmx_bug(guest_cpu_user_regs());
 }
 
 #endif /* CONFIG_VMX */